p = q == p.1 = q.1  (p.2 = q.2) 

latex

---

clarification:

w-eq-E(w; p; q) == p.1 = q.1  (p.2 = q.2) 

latex

Definitions	t.2, (i = j), t.1, a = b, p  q
FDL editor aliases	w-eq-E